A sorting network in bounded arithmetic
نویسنده
چکیده
We formalize the construction of Paterson’s variant of the Ajtai–Komlós–Szemerédi sorting network of logarithmic depth in the bounded arithmetical theoryVNC ∗ (an extension of VNC ), under the assumption of existence of suitable expander graphs. We derive a conditional p-simulation of the propositional sequent calculus in the monotone sequent calculus MLK .
منابع مشابه
Cuts and overspill properties in models of bounded arithmetic
In this paper we are concerned with cuts in models of Samuel Buss' theories of bounded arithmetic, i.e. theories like $S_{2}^i$ and $T_{2}^i$. In correspondence with polynomial induction, we consider a rather new notion of cut that we call p-cut. We also consider small cuts, i.e. cuts that are bounded above by a small element. We study the basic properties of p-cuts and small cuts. In particula...
متن کاملDepth efficient neural networks for division and related problems
An artificial neural network (ANN) is commonly modeled by a threshold circuit, a network of interconnected processing units called linear threshold gates. The depth of a circuit represents the number of unit delays or the time for parallel computation. The size of a circuit is the number of gates and measures the amount of hardware. It was known that traditional logic circuits consisting of onl...
متن کاملA Regular N-node Bounded Degree Network for Sorting N 2 Keys with Optimal Speedup
| In this paper we present a new parallel sorting algorithm called Shuue Ring Sort (SRS) for distributed memory systems with a regular bounded degree in-terconnection network. Our algorithm is optimal in the sense that it achieves a time complexity of O(N logN) for sorting at least N 2 keys on N processors. The assumption that the problem size grows at least quadratic with the number of availab...
متن کاملReturn on Investment in Transmission Network Expansion Planning Considering Wind Generation Uncertainties Applying Non-dominated Sorting Genetic Algorithm
Although significant private investment is absorbed in different sectors of power systems, transmission sector is still suffering from appropriate private investment. This is because of the pricing policies of transmission services, tariffs, and especially for investment risks. Investment risks are due to the uncertain behaviour of power systems that discourage investors to invest in the transm...
متن کاملDesign, Development and Evaluation of an Orange Sorter Based on Machine Vision and Artificial Neural Network Techniques
ABSTRACT- The high production of orange fruit in Iran calls for quality sorting of this product as a requirement for entering global markets. This study was devoted to the development of an automatic fruit sorter based on size. The hardware consisted of two units. An image acquisition apparatus equipped with a camera, a robotic arm and controller circuits. The second unit consisted of a robotic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 162 شماره
صفحات -
تاریخ انتشار 2011